Higher-dimensional tree structures
نویسندگان
چکیده
منابع مشابه
Structures in Higher - Dimensional
This is an exposition of some of the constructions which have arisen in higher-dimensional category theory. We start with a review of the general theory of operads and multicategories (cf. Bur], Her], Lei1]). Using this we give a new deenition of n-category (a variation on Batanin's); we also give an informal dee-nition in pictures. Next we discuss Gray-categories and their place in coherence p...
متن کاملReconciling Event Structures and Higher Dimensional Automata
Addressing the problem in the title, we diagnose the essential diiculty as the implicit assumption of two-valued logic in the event structure view of event occurrence as a true-or-false proposition. Taking the 3-valued logic of before-during-after as the common underlying logic of both event structures and higher dimensional automata (HDA's) uniies them into a single model having the same proce...
متن کاملStructures in Higher-Dimensional Category Theory
This is an exposition of some of the constructions which have arisen in higherdimensional category theory. We start with a review of the general theory of operads and multicategories (cf. [Bur], [Her], [Lei1]). Using this we give a new definition of n-category (a variation on Batanin’s); we also give an informal definition in pictures. Next we discuss Gray-categories and their place in coherenc...
متن کاملHigher Dimensional Algebra: Structures and Biodynamics∗
/: SYNPOSIS An international collaboration proposal is made forand on behalf ofa group with the topic of “Higher Dimensional Algebra of Super-Molecular Structure and Biodynamics”, with the aim of stimulating the development of both algebraic and computational, novel approaches to modeling Super-Molecular Structures and Biodynamics in Complex
متن کاملPetri Nets, Configuration Structures and Higher Dimensional Automata
In this talk, translations between several models of concurrent systems are reviewed c.q. proposed. The models considered capture causality, branching time, and their interplay, and these features are preserved by the translations. To the extent that the models are intertranslatable, this yields support for the point of view that they are all diierent representations of the same phenomena. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series B
سال: 1974
ISSN: 0095-8956
DOI: 10.1016/0095-8956(74)90083-5